Summary of denotations



Subsections